home *** CD-ROM | disk | FTP | other *** search
/ Freelog 115 / FreelogNo115-MaiJuin2013.iso / Internet / AvantBrowser / asetup.exe / _data / webkit / resources.pak / Unnamed File 000136.unknown < prev    next >
Text File  |  2013-04-03  |  3KB  |  178 lines
  1. html {
  2.     height: 100%;
  3. }
  4.  
  5. body {
  6.     cursor: default;
  7.     position: absolute;
  8.     top: 0;
  9.     bottom: 0;
  10.     left: 0;
  11.     right: 0;
  12.     overflow: hidden;
  13.     font-family: Lucida Grande, sans-serif;
  14.     font-size: 10px;
  15.     margin: 0;
  16.     tab-size: 4;
  17.     -webkit-user-select: none;
  18. }
  19.  
  20. body.dock-to-right:not(.undocked) {
  21.     border-left: 1px solid rgb(80, 80, 80);
  22. }
  23.  
  24. body.dock-to-right.inactive:not(.undocked) {
  25.     border-left: 1px solid rgb(64%, 64%, 64%);
  26. }
  27.  
  28. * {
  29.     -webkit-box-sizing: border-box;
  30. }
  31.  
  32. :focus {
  33.     outline: none;
  34. }
  35.  
  36. img {
  37.     -webkit-user-drag: none;
  38. }
  39.  
  40. iframe, a img {
  41.     border: none;
  42. }
  43.  
  44. iframe.view {
  45.     position: absolute;
  46.     width: 100%;
  47.     height: 100%;
  48.     left: 0;
  49.     right: 0;
  50.     top: 0;
  51.     bottom: 0;
  52. }
  53.  
  54. .hidden {
  55.     display: none !important;
  56. }
  57.  
  58. .monospace {
  59.     font-size: 10px !important;
  60.     font-family: monospace;
  61. }
  62.  
  63. .resources-dividers {
  64.     position: absolute;
  65.     left: 0;
  66.     right: 0;
  67.     height: 100%;
  68.     top: 0;
  69.     z-index: -100;
  70. }
  71.  
  72. .resources-event-dividers {
  73.     position: absolute;
  74.     left: 0;
  75.     right: 0;
  76.     height: 100%;
  77.     top: 0;
  78.     z-index: 300;
  79.     pointer-events: none;
  80. }
  81.  
  82. .resources-dividers-label-bar {
  83.     position: absolute;
  84.     top: 0;
  85.     left: 0px;
  86.     right: 0;
  87.     background-color: rgba(255, 255, 255, 0.8);
  88.     background-clip: padding;
  89.     border-bottom: 1px solid rgba(0, 0, 0, 0.3);
  90.     height: 20px;
  91.     z-index: 200;
  92.     pointer-events: none;
  93. }
  94.  
  95. .resources-divider {
  96.     position: absolute;
  97.     width: 1px;
  98.     top: 0;
  99.     bottom: 0;
  100.     background-color: rgba(0, 0, 0, 0.1);
  101. }
  102.  
  103. .resources-event-divider-padding {
  104.     position: absolute;
  105.     width: 8px;
  106.     top: 0;
  107.     bottom: 0;
  108.     pointer-events: auto;
  109. }
  110.  
  111. .resources-event-divider {
  112.     position: absolute;
  113.     width: 2px;
  114.     top: 0;
  115.     bottom: 0;
  116.     z-index: 300;
  117. }
  118.  
  119. .resources-divider-label {
  120.     position: absolute;
  121.     top: 4px;
  122.     right: 3px;
  123.     font-size: 9px;
  124.     color: rgb(50%, 50%, 50%);
  125.     white-space: nowrap;
  126. }
  127.  
  128.  
  129. /* Network timing is shared between popover and network item view pane */
  130.  
  131. .network-timing-row {
  132.     position: relative;
  133.     height: 16px;
  134. }
  135.  
  136. .network-timing-bar {
  137.     position: absolute;
  138.     background-color: red;
  139.     border-left: 1px solid red;
  140.     opacity: 0.4;
  141.     top: 0;
  142.     bottom: 0;
  143. }
  144.  
  145. .network-timing-bar-title {
  146.     position: absolute;
  147.     color: black;
  148.     top: 1px;
  149. }
  150.  
  151. .webkit-search-result {
  152.     -webkit-border-radius: 4px;
  153.     padding: 2px 2px 2px 3px;
  154.     margin: -2px -2px -2px -3px;
  155.     opacity: 0.8;
  156.     -webkit-box-shadow: rgba(0, 0, 0, .5) 3px 3px 4px;
  157.     background-color: rgb(241, 234, 0);
  158.     color: black;
  159. }
  160.  
  161. .sidebar-separator {
  162.     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(243, 243, 243)), color-stop(0.05, rgb(243, 243, 243)), color-stop(0.05, rgb(230, 230, 230)), to(rgb(209, 209, 209)));
  163.     padding: 0 5px;
  164.     border-top: 1px solid rgb(189, 189, 189);
  165.     border-bottom: 1px solid rgb(189, 189, 189);
  166.     color: rgb(110, 110, 110);
  167.     text-shadow: white 0 1px 0;
  168.     white-space: nowrap;
  169.     text-overflow: ellipsis;
  170.     overflow: hidden;
  171.     font-size: 11px;
  172. }
  173.  
  174. .sidebar-label {
  175.     font-size: 11px;
  176. }
  177.  
  178.